. Simplifying Ast Manipulation 2. Avoiding Asts

C++ has grown into a language in which the power of its abstraction mechanisms has become the weakness for its analysis. Writing a tool capable of assuring a property beyond the scope of the standard type checking is a task comparable to writing a compiler front end. To address this, my research includes the design of abstractions that aid in analysis and verification of programs written in C++. My aim is to make programs more reliable through the use of language features, libraries and tools without sacrificing efficiency. The goal is to make interesting analysis and transformations of a program expressible by average good programmers, not only by language specialists.